141. ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings
پدیدآورنده: European Symposium on Programming, )3rd, 0991, Copenhagen, Denmark(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
6
.
E976
1990
142. ESOP '90. 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings, Lecture notes in Computer Science
پدیدآورنده: N. Jones )ed.(
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Computer programming, Congresses,، Programming languages )Electronic computers(, Congresses
رده :
QA
76
.
6
.
E976
143. ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings
پدیدآورنده: European Symposium on Programming, )4th, 2991, Rennes, France(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
E976
1992
144. Embedded software for SoC
پدیدآورنده: / edited by Ahmed Amine Jerraya ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computer software- Development Congresses,Operating systems (Computers) Congresses,Embedded computer systems- Programming Congresses
رده :
QA76
.
76
.
D47
,
E46
2003
145. Embedded software for SoC
پدیدآورنده: / edited by Ahmed Amine Jerraya ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computer software- Development Congresses,Operating systems (Computers) Congresses,Embedded computer systems- Programming Congresses
رده :
QA76
.
76
.
D47
,
E46
2003
146. Enterprise information systems :
پدیدآورنده: Joaquim Filipe, José Cordeiro (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Management information systems, Congresses.,Affaires.,Economie de l'entreprise.,Management information systems.,Science économique.
رده :
T58
.
6
.
I58
2009
147. Erlang'04 : proceedings of the ACM SIGPLAN 2004 Erlang Workshop, September 22, 2004, Snowbird, Utah, USA
پدیدآورنده:
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
رده :
QA
76
.
73
.
E75A26
2004
148. Erlang'05 : proceedings of the ACM SIGPLAN 2005 Erlang Workshop, September 25, 2005, Tallinn, Estonia
پدیدآورنده: sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
رده :
QA
76
.
73
.
E75A26
2005
149. Euro-Par 2011
پدیدآورنده: Michael Alexander ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Parallel processing (Electronic computers), Congresses,Parallel programming (Computer science), Congresses
رده :
QA76
.
58
.
I553
2011eb
150. Euro-Par 2015
پدیدآورنده: \ [Edited by] Sascha Hunold...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Parallel processing (Electronic computers) -- Congresses.,Parallel programming (Computer science) -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,پردازش موازی -- کنگره ها ,برنامه‌نویسی موازی -- کنگره ها ,داده‌پردازی -- پردازش توزبع شده -- کنگره ها
رده :
QA
76
.
58
.
E92
2015
E-Book
,
151. Euro-Par 2015
پدیدآورنده: \ esper Larsson Träff, Sascha Hunold, Francesco Versaci (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Parallel processing (Electronic computers) -- Congresses,Parallel programming (Computer science) -- Congresses,Electronic data processing -- Distributed processing -- Congresses,پردازش موازی -- کنگره ها,برنامه‌نویسی موازی -- کنگره ها,داده‌پردازی -- پردازش توزبع شده -- کنگره ها
رده :
QA
76
.
58
.
I58
E92
2015
E-Book
,
152. Euro-Par 2018 :
پدیدآورنده: edited by Gabriele Mencagli, Dora B. Heras et al. (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Parallel processing (Electronic computers), Congresses.,Parallel processing (Electronic computers)
رده :
QA76
.
58
.
I58
2018eb
153. Exploring the early digital /
پدیدآورنده: Thomas Haigh, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
رده :
QA75
.
5
.
E96
2019
154. Fachtagung Prozessrechner 1974, Karlsruhe, 10-11. Juni 1974
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Process control-- Data processing-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
TS
156
.
8
.
F32
1974
155. Fachtagung prozessrechner 1974, Karlsruhe, 10-11. Juni 1974
پدیدآورنده: Von Gerhard Kruger und Rudiger Friehmelt
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Data processing -- Congresses ، Process control,Congresses ، Electronic digital computers -- Programming
رده :
TS
156
.
8
.
F35
156. 3. Fachtagung uber Programmiersprachen, Kiel, 5.-7. Marz 1974
پدیدآورنده: hrsg. von Bodo Schlender und Wolfgang Frielinghaus
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
7
157. Formal Development of Programs and Proofs
پدیدآورنده: Edited By Edsger W. Dijkstra
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Electronic Dijital Computers- Programming- Congresses
رده :
QA
،
76
.
6
،.
F657
،
1990
158. Formal description technique
پدیدآورنده: / edited by K.R. Parker, G.A. Rose
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Formal languages -- Congresses
رده :
QA
76
.
6
.
I185
1992
159. Formal description techniques, II
پدیدآورنده: / Edited by Son T. Vuong
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I1778
1989
160. Formal description techniques III
پدیدآورنده: / Edited by Juan Quemada, Jose Manas, Enrique Vazquez
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I185
1990
